Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Mathematical logic and model theory : a brief introduction / Alexander Prestel, Charles N. Delzell
| Mathematical logic and model theory : a brief introduction / Alexander Prestel, Charles N. Delzell |
| Autore | Prestel, Alexander |
| Pubbl/distr/stampa | London : Springer, 2011 |
| Descrizione fisica | X, 193 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Delzell, Charles N. |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica e fondamenti - Esposizione didattica
Logica classica del primo ordine Proprietà base dei linguaggi e delle strutture del primo ordine Eliminazione dei quantificatori - Completezza del modello ed argomenti collegati Applicazioni della teoria di modelli |
| ISBN |
978-1-4471-2175-6
978-1-4471-2176-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009472520403321 |
Prestel, Alexander
|
||
| London : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Positive polynomials : from Hilbert's 17th problem to real algebra / Alexander Prestel, Charles N. Delzell
| Positive polynomials : from Hilbert's 17th problem to real algebra / Alexander Prestel, Charles N. Delzell |
| Autore | Prestel, Alexander |
| Pubbl/distr/stampa | Berlin, : Springer, 2001 |
| Descrizione fisica | VIII, 267 p. ; 24 cm. |
| Altri autori (Persone) | Delzell, Charles N. |
| Soggetto topico |
12-XX - Field theory and polynomials [MSC 2020]
12J10 - Valued fields [MSC 2020] 14P10 - Semialgebraic sets and related spaces [MSC 2020] 12D15 - Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) [MSC 2020] 13J30 - Real algebra [MSC 2020] 13J25 - Ordered rings [MSC 2020] 11E10 - Forms over real fields [MSC 2020] |
| ISBN | 35-404-1215-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0030485 |
|
Prestel, Alexander
|
||
| Berlin, : Springer, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Positive polynomials : from Hilbert's 17. problem to real algebra / Alexander Prestel, Charles N. Delzell
| Positive polynomials : from Hilbert's 17. problem to real algebra / Alexander Prestel, Charles N. Delzell |
| Autore | Prestel, Alexander |
| Pubbl/distr/stampa | Berlin, : Springer, 2001 |
| Descrizione fisica | VIII, 267 p. ; 24 cm |
| Altri autori (Persone) | Delzell, Charles N. |
| Soggetto topico |
12-XX - Field theory and polynomials [MSC 2020]
12J10 - Valued fields [MSC 2020] 14P10 - Semialgebraic sets and related spaces [MSC 2020] 12D15 - Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) [MSC 2020] 13J30 - Real algebra [MSC 2020] 13J25 - Ordered rings [MSC 2020] 11E10 - Forms over real fields [MSC 2020] |
| ISBN | 35-404-1215-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0030485 |
|
Prestel, Alexander
|
||
| Berlin, : Springer, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Real algebraic geometry and ordered structures : AMS special session on real algebraic geometry and ordered algebraic structures held at Louisiana state university, Baton Rouge, LA, april 17-21, 1996 : special semester on real algebraic geometry and ordered structures held at Louisiana State university and southern university, Baton Rouge, LA, January-May 1996 / Charles N. Delzell, James J. Madden editors
| Real algebraic geometry and ordered structures : AMS special session on real algebraic geometry and ordered algebraic structures held at Louisiana state university, Baton Rouge, LA, april 17-21, 1996 : special semester on real algebraic geometry and ordered structures held at Louisiana State university and southern university, Baton Rouge, LA, January-May 1996 / Charles N. Delzell, James J. Madden editors |
| Autore | AMS special session on real algebraic geometry and ordered algebraic s : 1996 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2000 |
| Descrizione fisica | XXVII, 287 p. : ill. ; 26 cm. |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
14Pxx - Real algebraic and real-analytic geometry [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN | 08-218-0804-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0056244 |
|
AMS special session on real algebraic geometry and ordered algebraic s : 1996
|
||
| Providence, : American Mathematical Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Real algebraic geometry and ordered structures : AMS special session on real algebraic geometry and ordered algebraic structures held at Louisiana state university, Baton Rouge, LA, april 17-21, 1996 : special semester on real algebraic geometry and ordered structures held at Louisiana State university and southern university, Baton Rouge, LA, January-May 1996 / Charles N. Delzell, James J. Madden editors
| Real algebraic geometry and ordered structures : AMS special session on real algebraic geometry and ordered algebraic structures held at Louisiana state university, Baton Rouge, LA, april 17-21, 1996 : special semester on real algebraic geometry and ordered structures held at Louisiana State university and southern university, Baton Rouge, LA, January-May 1996 / Charles N. Delzell, James J. Madden editors |
| Autore | AMS special session on real algebraic geometry and ordered algebraic s : 1996 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2000 |
| Descrizione fisica | XXVII, 287 p. : ill. ; 26 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
14Pxx - Real algebraic and real-analytic geometry [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN | 08-218-0804-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0056244 |
|
AMS special session on real algebraic geometry and ordered algebraic s : 1996
|
||
| Providence, : American Mathematical Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
REAL algebraic geometry and ordered structures : AMS special session on real algebraic geometry and ordered algebraic structures held at Lousiana State University, BatonRouge, LA, april 17-21, 1996 : Special semester on real alge braic geometry and ordered structures held at Lousiana State University and Southern University, Baton Rouge, LA, january-May 1996 / C. N. Delzell, J. J. Madden, editors
| REAL algebraic geometry and ordered structures : AMS special session on real algebraic geometry and ordered algebraic structures held at Lousiana State University, BatonRouge, LA, april 17-21, 1996 : Special semester on real alge braic geometry and ordered structures held at Lousiana State University and Southern University, Baton Rouge, LA, january-May 1996 / C. N. Delzell, J. J. Madden, editors |
| Pubbl/distr/stampa | Providence (RI) : American Mathematical Society, c2000 |
| Descrizione fisica | xxvii, 287 p. ; 26 cm |
| Disciplina | 516.3 |
| Collana | Contemporary mathematics |
| Soggetto non controllato |
Geometria algebrica reale e analitica - Congressi
Struttureordinate - Congressi |
| ISBN | 0-8218-0804-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001448330403321 |
| Providence (RI) : American Mathematical Society, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||